test = forall _|_ → Set
